内置谓词函数依赖及其推理规则

研究内置谓词函数依赖及其推理规则.首先提出内置谓词函数依赖,定义了内置谓词函数依赖的语法和语义;其次提出属性-约束集闭包概念,提出计算属性-约束集闭包的算法,判断内置谓词函数依赖逻辑蕴涵;然后提出内置谓词函数依赖的推理规则集A,证明推理规则集A是可靠且完备的,用于内置谓词函数依赖蕴涵分析的形式化证明;最后讨论了内置谓词函数依赖的应用.     

一种适用于点和区间混合型维度数据集的多维索引

点和区间混合型维度数据集是空间数据库系统和GIS中重要的数据对象.在分析SS树的基础上,提出了一种适用于索引点和区间混合型维度数据集的索引结构--PI树.PI树利用超球划分数据集的多维空间,以提高结点存储利用率,从而降低数据插入时的I/O次数.文章给出了PI树插入、删除和查询算法的形式化描述.理论分析和实验结果表明,所提的PI树性能上总体优于R·树.     

一种最优末制导规律研究

针对传统最优制导规律依赖于剩余飞行时间的缺陷,利用最优线性二次型的形式,以脱靶量和能量消耗综合最小为性能指标,通过对可调时间参数T的约束,建立了一种不依赖于剩余飞行时间的最优末制导规律.对导弹攻击机动目标的情况进行了仿真研究,并与依赖于剩余飞行时间的传统最优制导律相比较.仿真结果表明,所设计的制导规律具有优良的特性.     

基于指标体系的火力分配模型研究

火力分配是现代作战中的关键问题,如何有效地进行火力分配对高效发挥火力、提高作战效能、争取作战的主动权具有重大意义。根据评价指标筛选原则,建立了一个反映目标价值的多层次评价指标体系,提出了火力分配的GEM-AHP计算模型。实例研究表明,该模型对多指标决策的火力分配问题具有很好的适用性。     

潜艇模型尾流场和水动力噪声的测量方法研究

探索了一种集潜艇模型尾流速度场测量及模型水动力噪声测量于一体的试验技术,即通过合理的试验方案设计及信号处理手段,完成对潜艇模型水动力噪声信号的测量,识别出模型噪声信号各成分的影响范围;同时,应用PIV技术对潜艇模型的尾流速度场进行测量,通过对测量结果的处理,得到潜艇模型的尾流涡量场分布.所得到的结果为研究潜艇水动力噪声与尾流涡结构之间的关系提供了参考,所做的工作为上述问题的研究提供了一种新颖的试验思路.     

完善消防部队财务监督机制的思考

财务监督是财务管理的有机组成部分和重要环节，对于防范经济风险，提高经费使用效益发挥着重要作用，传统的财务监督机制表现出一定的局限性。分析了当前消防部队财务监督机制存在的主要问题，从健全法规体系、建立科学完善的预算监督体系、严格监督制约机制、建立有效协调机制等方面提出了完善消防部队财务监督机制的构想。     

二氧化硅气凝胶隔热复合材料的性能及其瞬态传热模拟

高马赫数、新型航天飞行器承载严重的气动加热环境,其隔热材料的性能与传热计算对飞行器热防护结构的优化和预测具有一定的指导意义.研究了二氧化硅气凝胶隔热复合材料的结构与性能,并进行了瞬态传热模拟.结果表明复合材料热导率仅为0.018W/m·K,瞬态传热模拟结果与考核测试值吻合,为预测和优化隔热材料提供了一定的依据.     

舰船任意姿态下消磁系统电流变化关系

推导出舰船消磁系统电流在任意航向上有纵倾和横摇时的变化关系；利用主磁航向上消磁系统电流与各干扰量以及地磁场的联系，提出了在磁东航向上利用舰船横摇时消磁系统电流变化关系对垂向感应干扰进行分离的方法，为在同一地点实现对舰船消磁系统跨纬度区抗干扰调整提供了可能．     

提升装备物资采购保障能力的策略设计

装备物资采购关系到装备保障职能的充分发挥和作战效能发挥能力的积累，其采购保障过程涉及极其复杂的技术问题和管理问题。采购保障策略是开展采购和管理项目所确定的思路和实现途径，完善的采购保障策略设计对于重大的装备物资采购项目的成败具有举足轻重的作用。本文从军队装备物资采购的基本内涵与特点入手，结合工作实践和调查研究，从采购信息运用、流程管控、权责修订、法规约束和需求预测等业务管理层面进行分析，阐述了当前装备物资采购的发展现状，提出了提升装备物资采购保障能力的策略设计，以期实现采购组织、流程和系统的整体优化，为装备物资采购改革中相关措施的修订与完善提供新思路和新方法。     

炮兵雷达组网校射评估系统的设计与实现*

针对多部雷达保障校正射击时各个雷达获得的数据精度不高、数据传输自动化程度低、炸点坐标缺乏数据融合等问题,采用VC＋＋和SQLServer为软件开发平台,设计并实现了炮兵雷达组网校射评估系统。讨论了系统的基本组成和软件结构。同时根据最小方差原则,按照各雷达的精度分配权值,设计了多雷达组网对炸点测量数据最优融合估计的数据融合算法。通过实弹射击保障应用表明,该系统提高了雷达对炸点数据测量的精度及炮兵指挥自动化能力。